(* 
Bomber de test pour bopbdd : 
Generation aleatoire de Fonctions booleennes partielles (don't care) selon proportion p
*) 
open Bplib
(* ===================================================================== *)
(** Lecture des arguments systemes *)
(* ===================================================================== *)
let args_assoc = assoc_of_sys_argv Sys.argv
let get_arg_int_value = try_get_arg_int_value args_assoc
let get_arg_string_value = try_get_arg_string_value args_assoc
(* ===================================================================== *)

let _ =
	Random.self_init ();
	let prop = get_arg_int_value "-p" in
	let adresse = get_arg_int_value "-AD" in
	let word = get_arg_int_value "-WL" in
	let proba1 = get_arg_int_value "-1" in
	for i = 1 to 2 $$ adresse do
		for j = 1 to word do
			let t = Random.int 100 in
			if t < prop (* generate a don't care bit *)
			then print_char '*'
			else print_char (if Random.int 100 < proba1 then '1' else '0')
		done;
		print_newline ()
	done
	